Categoricity for abstract classes with amalgamation
نویسندگان
چکیده
منابع مشابه
Categoricity for Abstract Classes with Amalgamation Sh394
Let K be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS(K). We prove that for a suitable Hanf number χ0 if χ0 < λ0 ≤ λ1, and K is categorical in λ + 1 then it is categorical in λ0. 2000 Mathematics Subject Classification. 03C45, 03C75.
متن کاملUncountable categoricity of local abstract elementary classes with amalgamation
We give a complete and elementary proof of the following upward categoricity theorem: LetK be a local abstract elementary class with amalgamation and joint embedding, arbitrarily large models, and countable LöwenheimSkolem number. If K is categorical in א1 then K is categorical in every uncountable cardinal. In particular, this provides a new proof of the upward part of Morley’s theorem in firs...
متن کاملSymmetry in abstract elementary classes with amalgamation
This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the nonelementary setting of abstract elementary classes (AECs). An abstract elementary class is a semantic generalization of the class of models of a complete first order theory with the elementary substructure relation. We examine the symmetry property of splitting (previously isolat...
متن کاملCategoricity and Stability in Abstract Elementary Classes
Categoricity and Stability in Abstract Elementary Classes byMonica M. VanDieren This thesis tackles the classification theory of non-elementary classes from twoperspectives. In Chapter II we work towards a categoricity transfer theorem, whileChapter III focuses on the development of a stability theory for abstract elementaryclasses (AECs).The results in Chapter II are in a c...
متن کاملSuperstability from categoricity in abstract elementary classes
Starting from an abstract elementary class with no maximal models, Shelah and Villaveces have shown (assuming instances of diamond) that categoricity implies a superstability-like property for nonsplitting, a particular notion of independence. We generalize their result as follows: given any abstract notion of independence for Galois (orbital) types over models, we derive that the notion satisf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1999
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(98)00016-5